$\forall$$a$, $b$:$\mathbb{Z}$. GCD($a$;$b$;gcd($a$;$b$))